acm sigbed
|
emsoft
|
participants
Debarpita Banerjee
EMSOFT 2025: 25th International Conference on Embedded Software
A Formal Approach towards Safe and Stable Schedule Synthesis in Weakly Hard Control Systems
Debarpita Banerjee
,
Parasara Sridhar Duggirala
,
Bineet Ghosh
, and
Sumana Ghosh
10.1145/3760528
https://dl.acm.org/doi/10.1145/3760528